运算符与重载
Rust 允许有限形式的运算符重载。特定的运算符可以被重载。要支持一个类型间特定的运算符,你可以实现一个的特定的重载运算符的trait。
例如,运算符可以通过Add
特性重载:
有一系列可以这样被重载的运算符,并且所有与之相关的trait都在std::ops
模块中。查看它的文档来获取完整的列表。
实现这些特性要遵循一个模式。让我们仔细看看:
# mod foo {
pub trait Add<RHS = Self> {
fn add(self, rhs: RHS) -> Self::Output;
}
将允许你这样做:
let p: Point = // ...
let x: f64 = p + 2i32;
现在我们知道了运算符 trait 是如何定义的了,我们可以更通用的定义来自trait 章节的HasArea
trait 和结构体:
impl<T> HasArea<T> for Square<T>
area
方法要求我们可以进行边的乘法,所以我们声明的T
类型必须实现std::Mul
。比如上面提到的Add
,Mul
自身获取一个Output
参数:因为我们知道相乘时数字并不会改变类型,我也设定它为T
。也必须支持拷贝,所以 Rust 并不尝试将self.side
移动进返回值。